\newcommand{\ecal}{\mathcal{E}}
\newcommand{\rcal}{\mathcal{R}}
\newcommand{\tcal}{\mathcal{T}}
\newcommand{\rews}{\rightarrow}
\newenvironment{code2}{\begin{verbatim}}{\end{verbatim}}

\newcommand{\ignore}[1]{}
\newcommand{\tcode}[1]{\text{\tt #1}}
\newcommand{\obj}[1]{\langle \tcode{#1} \rangle}

\newcommand{\paco}[1]{\textcolor{red}{[Paco writes: #1]}}
\newcommand{\camilo}[1]{\textcolor{blue}{[Camilo writes: #1]}}
